]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6205d5e) | patch
Revert "windowManager: Use new reorder_workspace() API"
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 8 Oct 2019 18:42:20 +0000 (20:42 +0200)
committerFlorian Müllner <fmuellner@gnome.org>
Tue, 8 Oct 2019 19:11:19 +0000 (21:11 +0200)
commit3d39b32a0b65da23d3e6e1513bd7388afdf0e87a
tree6fd6b3118a2301bea5ce17058bb74e3bea53129atree | snapshot
parent6205d5eb27dbab83f7387cb479cd3b5b7bd4495acommit | diff
Revert "windowManager: Use new reorder_workspace() API"

It's too easy to break, so revert to the old code until we
figure out a fix.

This reverts commit ff9bb5399b1d22fceaf00c9fc8e0058f24af96cc.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1497
js/ui/windowManager.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.